UsedLessRules 12,41
nuprl rules not commonly used.
NIL

origin